|
|
Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation
Mazánek, Antonín ; Mrázek, Vojtěch (referee) ; Strnadel, Josef (advisor)
The master's thesis introduces the Uppaal tool. It describes the principles and possibilities of modeling and analysis of systems using this tool. It also discusses in more detail the file formats that Uppaal tool uses. The structure of the XML file used to store created systems, the XTR format, which Uppaal uses to store simulation traces, and the IF format, which is necessary to understand the contents of the file in XTR format. The text also mentions available software support for working with these formats. Next part of this master's thesis is about designing user-friendly representation of simulations traces, along with designing application that translates simulation traces into designed representation. At the end of this thesis, the possible continuation of the project is mentioned together with the evaluation of the designed representation and the application.
|
|
|
HF and IF circuits of shortwave radiostation
Šnajdr, Václav ; Vágner, Petr (referee) ; Lukeš, Zbyněk (advisor)
The study, description, design and implementation of selected blocks of multiband shortwave radio station are dealt with in the thesis. Focus is placed on the concept of multiband shortwave radio stations, with an emphasis on high frequency and intermediate frequency circuits. The first chapter is devoted to description of the transceiver block diagram which is designed as superheterodyne. The design of bandpass input filters, intermediate frequency crystal filters and output filters is described. Simulation results and the measured characteristics of the implemented functional blocks are presented. Furthermore, the amplifier circuits which maintain impedance matching of individual blocks are discussed. SSB signal generation in the transmitter part of radio station and final stage power amplification are depicted.
|
|
|
Conversion of XTR Output of UPPAAL Tool into User-Friendly Representation
Mazánek, Antonín ; Mrázek, Vojtěch (referee) ; Strnadel, Josef (advisor)
The master's thesis introduces the Uppaal tool. It describes the principles and possibilities of modeling and analysis of systems using this tool. It also discusses in more detail the file formats that Uppaal tool uses. The structure of the XML file used to store created systems, the XTR format, which Uppaal uses to store simulation traces, and the IF format, which is necessary to understand the contents of the file in XTR format. The text also mentions available software support for working with these formats. Next part of this master's thesis is about designing user-friendly representation of simulations traces, along with designing application that translates simulation traces into designed representation. At the end of this thesis, the possible continuation of the project is mentioned together with the evaluation of the designed representation and the application.
|
|
|
HF and IF circuits of shortwave radiostation
Šnajdr, Václav ; Vágner, Petr (referee) ; Lukeš, Zbyněk (advisor)
The study, description, design and implementation of selected blocks of multiband shortwave radio station are dealt with in the thesis. Focus is placed on the concept of multiband shortwave radio stations, with an emphasis on high frequency and intermediate frequency circuits. The first chapter is devoted to description of the transceiver block diagram which is designed as superheterodyne. The design of bandpass input filters, intermediate frequency crystal filters and output filters is described. Simulation results and the measured characteristics of the implemented functional blocks are presented. Furthermore, the amplifier circuits which maintain impedance matching of individual blocks are discussed. SSB signal generation in the transmitter part of radio station and final stage power amplification are depicted.
|
guest ::
